🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·2h
⚡Proof Automation
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Adversary TTP Simulation Lab
infosecwriteups.com·1h
🏠Homelab Pentesting
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Three important things to get right for successful AI Coding
kau.sh·1d
⚡Proof Automation
A very short, very blunt, book note
logicmatters.net·13h
⚔️Lean Theorem
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·23h
⬆️Lambda Lifting
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
⚡SMT Integration
They're in…now what? How to stop lateral movement when the phish bites
runzero.com·14h
🎫Kerberos Attacks
Evading the Watchful Eye: A Red Teamer’s Guide to EDR Bypass Techniques
medium.com·18h
🔐Cryptographic Archaeology
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·15h·
Discuss: Lobsters, Hacker News, r/javascript
🧩SQLite Extensions
Detecting Distillation Data from Reasoning Models
arxiv.org·2h
⚙️ABNF Mining
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·12h·
Discuss: Hacker News
🌳Context free grammars
Simulating and Understanding Deceptive Behaviors in Long-Horizon Interactions
arxiv.org·2h
✨Algebraic Effects
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
arxiv.org·2h
🎯Performance Proofs
Is Odin Just a More Boring C?
dayvster.com·20h·
Discuss: Hacker News
🔩Systems Programming
How Much Should You Tell Your AI Agent?
raymondyxu.com·1d·
Discuss: Hacker News
⚡Proof Automation